Results for 'Augusto Jobim do Amaral'

976 found
Order:
  1. Considerações legais e forenses do aborto infeccioso bovino na “Saúde Única”: Revisão (18th edition).Jackson Barros Do Amaral, Vinícius José Moreira Nogueira & Wendell da Luz Silva (eds.) - 2024 - Londrina: Pubvet.
    In Brazil, the social demand for veterinary expertise is growing. However, there is still a shortage of professionals trained in this area to apply specific knowledge to each case. Studies and research into forensic veterinary medicine are necessary for veterinary experts to assist in investigations and legal proceedings. Veterinary medicine has subjects on its curriculum that cover the knowledge needed to apply in the fields of animal health, public health and the environment. The interaction between human and veterinary medicine, as (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. O Conceito do Trabalho: da antiguidade ao século XVI.Emanuel Isaque Cordeiro da Silva - manuscript
    SOCIOLOGIA DO TRABALHO: O CONCEITO DO TRABALHO DA ANTIGUIDADE AO SÉCULO XVI -/- SOCIOLOGY OF WORK: THE CONCEPT OF WORK OF ANTIQUITY FROM TO THE XVI CENTURY -/- RESUMO -/- Ao longo da história da humanidade, o trabalho figurou-se em distintas posições na sociedade. Na Grécia antiga era um assunto pouco, ou quase nada, discutido entre os cidadãos. Pensadores renomados de tal época, como Platão e Aristóteles, deixaram a discussão do trabalho para um último plano. Após várias transformações sociais entre (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. ELEMENTOS PARA A PRECISÃO DA VEDAÇÃO DO VENIRE CONTRA FACTUM PROPRIUM NO DIREITO PRIVADO.Marcio Felix Jobim - 2012 - Dissertation, Universidade Federal Do Rio Grande Do Sul
    Download  
     
    Export citation  
     
    Bookmark  
  4. Many-valued logics. A mathematical and computational introduction.Luis M. Augusto - 2020 - London: College Publications.
    2nd edition. Many-valued logics are those logics that have more than the two classical truth values, to wit, true and false; in fact, they can have from three to infinitely many truth values. This property, together with truth-functionality, provides a powerful formalism to reason in settings where classical logic—as well as other non-classical logics—is of no avail. Indeed, originally motivated by philosophical concerns, these logics soon proved relevant for a plethora of applications ranging from switching theory to cognitive modeling, and (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  5. Some socio-legal and legal philosophical implications of limited universal holism with special considerations of modern human rights.Amar Dhall - 2015 - Dissertation, University of Canberra
    This thesis considers the space of encounter between the quantum mechanical ontology of limited universal holism and the legal system. This space of encounter is identified through an examination of two premises. The first premise is that the ontological structure of limited universal holism has significant legal philosophical and socio-­‐legal implications. The second premise is that the loci of commitment within the ontology of limited universal holism epistemologically coheres with the core ontological notions that underpin the Preamble of the Universal (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. Computational logic. Vol. 1: Classical deductive computing with classical logic. 2nd ed.Luis M. Augusto - 2022 - London: College Publications.
    This is the 3rd edition. Although a number of new technological applications require classical deductive computation with non-classical logics, many key technologies still do well—or exclusively, for that matter—with classical logic. In this first volume, we elaborate on classical deductive computing with classical logic. The objective of the main text is to provide the reader with a thorough elaboration on both classical computing – a.k.a. formal languages and automata theory – and classical deduction with the classical first-order predicate calculus with (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7. Knowledge & Logic: Towards a science of knowledge.Luis M. Augusto - manuscript
    Just started a new book. The aim is to establish a science of knowledge in the same way that we have a science of physics or a science of materials. This might appear as an overly ambitious, possibly arrogant, objective, but bear with me. On the day I am beginning to write it–June 7th, 2020–, I think I am in possession of a few things that will help me to achieve this objective. Again, bear with me. My aim is well (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8. O Problema do Pensamento no De Anima de Aristóteles.Fernanda Pereira Augusto da Silva - 2016 - Dissertation, Universidade Federal da Paraíba, Brazil
    Download  
     
    Export citation  
     
    Bookmark  
  9. Epistemologia, Mente, Matemática e Linguagem: Discussões do X Simpósio Internacional Principia.Cezar Augusto Mortari, Jonas Rafael Becker Arenhart & Ivan Ferreira da Cunha (eds.) - 2018 - Florianópolis, Brazil: NEL – Núcleo de Epistemologia e Lógica.
    Download  
     
    Export citation  
     
    Bookmark  
  10. Mill y Marx: dos visiones de la libertad.César Augusto Mora Alonso & Giovanni Mafiol de la Ossa - 2018 - In Hernán Martínez Ferro & César Augusto Mora Alonso (eds.), J. S. Mill: Vigencia y legado de su pensamiento. Bogotá, Colombia: Universidad Libre. pp. 103-121.
    Este texto analiza las concepciones que J. S. Mill y K. Marx defienden sobre la libertad, con el fin de establecer si entre ellas hay puntos de convergencia, a pesar de las diferentes motivaciones que las impulsan. En este sentido, la tesis que se propone es que ambos pensadores coinciden en la defensa que realizan de la libertad, dado que le otorgan un papel destacado a la autodeterminación, el libre desarrollo de la individualidad y a la existencia de condiciones materiales (...)
    Download  
     
    Export citation  
     
    Bookmark  
  11. A filosofia de Ludwig Wittgenstein à luz do diagnóstico de autismo.Gustavo Augusto Fonseca Silva - 2023 - Campina Grande: Eduepb.
    Em 27 de janeiro de 1937, o filósofo Ludwig Wittgenstein (1889-1951) anotou em seu diário, enquanto viajava para Skjolden, um vilarejo norueguês à beira do fiorde Sogne, onde havia construído em 1913 uma cabana para viver isolado: “Certamente sou singular em muitas coisas & por isso, muitas pessoas se comportam de maneira comum quando comparadas comigo; mas em que consiste minha singularidade?” De acordo com psiquiatras contemporâneos como Michael Fitzgerald, Christopher Gillberg e Yoshiki Ishisaka, a singularidade de Wittgenstein decorria de (...)
    Download  
     
    Export citation  
     
    Bookmark  
  12. (1 other version)Observações sobre a filosofia da matemática de Ludwig Wittgenstein.Gustavo Augusto Fonseca Silva - 2018 - Griot : Revista de Filosofia 17 (1):97-113.
    No ensaio “Wittgenstein on mathematics”, publicado no Oxford Handbook of Wittgenstein, Michael Potter procura não apenas analisar por que a filosofia da matemática de Wittgenstein é tão controvertida entre filósofos e matemáticos como justificar essa situação. Com esse intuito, Potter enfatiza o caráter inacabado das reflexões de Wittgenstein sobre a matemática. Neste artigo, tem-se por objetivo explicitar algumas inconsistências e contradições no pensamento matemático de Wittgenstein que ratificam as críticas que esse autor vem recebendo há décadas, mas que não tiveram (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13. Algumas Notas sobre os Métodos Filosóficos de Ludwig Wittgenstein.Gustavo Augusto Fonseca Silva - 2021 - Revista de Filosofia Moderna E Contemporânea 9 (1):165-183.
    No artigo “Wittgenstein: universalismo, lógica, gramática y lenguaje”, Alejandro Tomasini Bassols afirma que o problema com que Wittgenstein se depara ao fim do Tractatus ”“ as proposições do livro serem elucidações e contrassensos ”“ teve origem em seu erro de considerar a lógica, e não a linguagem, como o mais universal. Bassols afirma ainda que o assim chamado “paradoxo do Tractatus” não foi uma ameaça à segunda filosofia wittgensteiniana porque nela Wittgenstein não cometeu o mesmo erro. Neste artigo argumenta-se que (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. La divisibilidad del alma en la psicología de Aristóteles. ¿Es posible conciliar el hilemorfismo y el cardiocentrismo?César Augusto Mora Alonso - 2018 - Cuadernos de Filología Clásica. Estudios Griegos E Indoeuropeos 28:129-139.
    El propósito de este trabajo consiste en destacar el papel central que tiene el problema de la divisibilidad del alma en los dos enfoques bajo los que se presenta la investigación psicológica aristotélica: el hilemórfico y el cardiocéntrico. Mientras que el primero sostiene que el alma es la forma o esencia del cuerpo entero, el segundo aboga por la localización del alma en el corazón, pues asegura que allí se manifiestan los principios de las partes o facultades anímicas. A simple (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15. A CAÇA À SABEDORIA: a sophia a partir da Apologia de Platão.Carlos Augusto de Oliveira Carvalhar - 2020 - Dissertation, Ufrj, Brazil
    This is a study of sophía from the passage 20d-21a in Plato’s Apology. There, Socrates tries to understand what kind of wisdom he would have, since the Oracle of Delphi stated that no one would be wiser than him. An investigation of historical aspects was made to understand the trial of Socrates and conviction, also a mapping of sophía’s main uses through the corpus platonicum was built, as well an overview of the usage of this concept by others greek authors. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  16. O ‘manual para a vida feliz’ de Epiteto: um comentário sobre os fragmentos de 1 a 6.Cesar Augusto Veras, Pedro Pereira Borges & Marcio Bogaz Trevizan - 2021 - Synesis (Issn 1984-6754) 13 (2):19-36.
    This article aims to analyze some aspects of the work Manual para a Vida Feliz, the result of classes given by Epictetus, and recorded by his student Ariano. We will consider the situations that, according to Epictetus, depend on the individual and those that do not depend on their action. In particular, this analysis will focus on fragments 1 to 6 of the manual, given the length to be analyzed in an article. To account for the proposed object, this analysis (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17.  51
    O si mesmo: entre Pierre Hadot e Michel Foucault.Cesar Augusto Veras & Marcio Bogaz Trevizan - 2021 - Synesis (Issn 1984-6754) 13 (1):62-76.
    This study aims to deepen the philosophical aspects of the relationship between the work of Pierre Hadot and Michel Foucault, with regard to the concepts of "Spiritual Exercises" and "Self-Care". We intend to analyze how Pierre Hadot interpreted the appropriation that Michel de Foucault made of his text "spiritual exercises", when presenting the notion about the definition of "Care of the self". We elucidate the main divergences and convergences present between the philosophical reflections of these two authors, which are of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18. Libertação, Raça e Decolonialidade.Felipe Nogueira de Carvalho, Breno Augusto Costa, Rodrigo Marcos Jesus, Milena Oliveira Pires & Leonardo Rennó Santos (eds.) - 2024 - Toledo, PR: Editora Quero Saber.
    O objetivo do presente volume é apresentar à comunidade filosófica parte do trabalho realizado nos GTs de Filosofia da Libertação, Latino-americana e Africana e Filosofia e Raça durante o XIX Encontro Nacional da ANPOF (Goiânia, 2022), através de textos apresentados no XIX Encontro Nacional da ANPOF (Goiânia, 2022), ou frutos de discussões e debates realizados nos GTs supracitados. Agradecemos a todos, todas e todes que apresentaram seus trabalhos e/ou participaram ativamente das discussões que deram origem aos textos deste volume, enriquecendo (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. Teatro y Estética del Oprimido. Homenaje a Augusto Boal.José Ramón Fabelo-Corzo & Ana Lucero López Troncoso (eds.) - 2016 - Puebla, Pue., México: Colección La Fuente, BUAP.
    Este libro inaugura la serie Homenaje de la Colección La Fuente. Con él se busca reconocer, de manera particular, al pensador, dramaturgo y director brasileño Augusto Boal (1931-2009), creador del teatro y la estética del oprimido, genuina aportación cultural latinoamericana que mucho tiene que ver con ese particular lugar de enunciación que es Nuestra América y sus siempre actuales expectativas emancipadoras. El libro fue precedido y nutrido por un Coloquio que en mayo de 2014 reunió a importantes especialistas y (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. Colonialidad del crear: aportaciones de augusto boal para una estética descolonizadora.José Ramón Fabelo Corzo & Ana Lucero López Troncoso - 2015 - In José Ramón Fabelo-Corzo & María Guadalupe Canet Cruz (eds.), La estética y el arte a debate (I). Puebla, Pue., México: Colección La Fuente, BUAP. pp. pp. 293-305.
    En este ensayo nos proponemos realizar un trabajo de traducción, como lo sugiere Boaventura de Sousa Santos, entre aspectos puntuales de la teoría estética de Augusto Boal y algunos de los estudios que sobre la colonialidad del ser han realizado autores como Walter Mignolo y Nelson Maldonado Torres, entre otros. Nuestros objetivos son, primero, subrayar los vínculos entre las dos teorías para revelar la viabilidad de la existencia de una colonialidad del crear; segundo, reflexionar la estética del oprimido como (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. Princípios metafísicos do método newtoniano.Bruno Camilo de Oliveira - 2011 - In Luiz Henrique de Araújo Dutra & Alexandre Meyer Luz (eds.), Coleção rumos da epistemologia. pp. 172-183.
    CAMILO, Bruno. Princípios metafísicos do método newtoniano. In: CONTE, Jaimir; MORTARI, Cezar Augusto. (org.). Temas em filosofia contemporânea. Florianópolis: NEL/UFSC, 2014. p. 172-183. (Coleção rumos da epistemologia; 13). -/- É no modus operandi de Isaac Newton que visualizamos a relação entre o método dedutivo e o indutivo na análise científica dos fenômenos e a relação entre a metafísica e a prática científica. Pois, de um lado temos a “mecânica racional”, a qual compreende que a única forma de garantir a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  22. Entre dos tempestades. Boal dialoga con Shakespeare.José Ramón Fabelo Corzo & Ana Lucero López Troncoso - 2016 - In José Ramón Fabelo-Corzo & Ana Lucero López Troncoso (eds.), Teatro y Estética del Oprimido. Homenaje a Augusto Boal. Puebla, Pue., México: Colección La Fuente, BUAP. pp. 285-299.
    Los autores realizan un análisis comparativo entre The Tempest de Willian Shakespeare y La Tempestad de Augusto Boal, siguiendo la pauta de este último autor, quien ve en su obra no la adaptación de la del clásico dramaturgo inglés, sino la respuesta a aquella desde la perspectiva de Caliban y no de Próspero.
    Download  
     
    Export citation  
     
    Bookmark  
  23. Uma resposta ao problema do brinco das princesas.Renato Rocha - 2020 - Fundamento: Revista de Pesquisa Em Filosofia 2018 (16):1-6.
    I present in this note an alternative answer to the princesses' earring problem, found in the first chapter of Cezar Augusto Mortari's book "Introdução à Lógica”.
    Download  
     
    Export citation  
     
    Bookmark  
  24. Fisiologia do Estro e do Serviço na Reprodução Bovina.Emanuel Isaque Cordeiro da Silva & Emanuel Isaque Da Silva - manuscript
    FISIOLOGIA DA REPRODUÇÃO BOVINA: 2 - ESTRO E SERVIÇO -/- -/- INTRODUÇÃO -/- -/- A identificação de vacas em cio (estro ou cio) é, sem dúvida, a prática mais importante no manejo da reprodução do rebanho leiteiro. Apesar dos avanços no conhecimento da fisiologia da reprodução a nível celular e molecular, a identificação de vacas em estro continua sendo o problema reprodutivo mais importante e o que mais causa prejuízos econômicos. Na indústria de laticínios no Brasil, seu impacto não foi (...)
    Download  
     
    Export citation  
     
    Bookmark  
  25. Nutrição Sobre as Falhas Reprodutivas dos Bovinos.Emanuel Isaque Cordeiro da Silva - manuscript
    NUTRIÇÃO SOBRE AS FALHAS REPRODUTIVAS DOS BOVINOS -/- E. I. C. da Silva Departamento de Agropecuária – IFPE Campus Belo Jardim Departamento de Zootecnia – UFRPE sede -/- -/- FALHAS REPRODUTIVAS DE BOVINOS -/- INTRODUÇÃO -/- Os bovinos, assim como tantos outros mamíferos e demais espécies, podem sofrer distúrbios durante o ciclo reprodutivo. Transtornos, alterações ou patogenias afetam diretamente a saúde do sistema reprodutor desses animais. As causas podem ser individuais ou multifatoriais, de caráter parasitário, patogênico, climático, nutricional etc. As (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26. Relação e Efeitos Bioquímico-nutricionais Sobre os Transtornos do Ciclo Estral em Vacas.Emanuel Isaque Cordeiro da Silva - manuscript
    RELAÇÃO E EFEITOS BIOQUÍMICO-NUTRICIONAIS SOBRE OS TRANSTORNOS DO CICLO ESTRAL DE VACAS -/- Emanuel Isaque Cordeiro da Silva Departamento de Agropecuária – IFPE Campus Belo Jardim [email protected] ou [email protected] WhatsApp: (82)98143-8399 -/- •__6. Transtornos do ciclo estral -/- Qualquer alteração na frequência, duração ou intensidade do ciclo estral é considerada uma perturbação do ciclo, cujas origens variam etiologicamente. As perturbações do ciclo podem originar-se em qualquer das partes do eixo hipotálamo-hipófise-ovário (FRAZER, 2005; GORDON, 1996). Pode ou não ser do tipo (...)
    Download  
     
    Export citation  
     
    Bookmark  
  27. (1 other version)A Conversão da Consciência como princípio da moralidade.Konrad Utz - 2016 - Veritas – Revista de Filosofia da Pucrs 61 (3):578-602.
    Kant mostra que uma teoria fundamental da normatividade e da moralidade não pode dar nem uma explanação nem uma prova da normatividade, mas apenas pode articular e explicitar sua origem. Ela pode fazer isso indicando o lugar ou o topos e a virada ou a trope de seu originar. Conforme Kant, o topos da normatividade é a vontade enquanto razão prática e sua trope é o uso geral desta razão que tipicamente é instrumental, no sentido da reflexão. A trope da (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28. Émile Durkheim: Coesão e Fato Social.Emanuel Isaque Cordeiro da Silva - unknown
    Émile Durkheim: Coesão e Fato Social -/- Emanuel Isaque Cordeiro da Silva E-mails: [email protected] / [email protected] WhatsApp: (82)9.8143-8399 -/- Émile Durkheim: Coesão e Fato Social Nascido em 1858, Durkheim era francês e foi bastante influenciado pela obra do filósofo também francês Augusto Comte (1798-1857), que metodizou pela primeira vez o estudo da sociedade (Sociologia) como uma ciência particular e peculiar, e que também conectou a Sociologia com alguns artífices peculiares das Ciências Naturais. Em contrapartida, Durkheim procurou alicerçar a Sociologia (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. Crítica à Metafísica.Emanuel Isaque Cordeiro da Silva & Alana Thaís da Silva - manuscript
    -/- FILOSOFIA: CRÍTICA À METAFÍSICA -/- PHILOSOPHY: CRITICISM TO METAPHYSICS -/- Por: Emanuel Isaque Cordeiro da Silva - UFRPE Alana Thaís Mayza da Silva - CAP-UFPE RESUMO: A Metafísica (do grego: Μεταφυσική) é uma área inerente à Filosofia, dito isto, é uma esfera que compreende o mundo e os seres humanos sob uma fundamentação suprassensível da realidade, bem como goza de fundamentação ontológica e teológica para explicação dos dilemas do nosso mundo. Logo, não goza da experiência e explicação científica com (...)
    Download  
     
    Export citation  
     
    Bookmark  
  30. Bridging mainstream and formal ontology: A causality-based upper ontology in Dietrich of Freiberg.Luis M. Augusto - 2021 - Journal of Knowledge Structures and Systems 2 (2):35.
    Ontologies are some of the most central constructs in today's large plethora of knowledge technologies, namely in the context of the semantic web. As their coinage indicates, they are direct heirs to the ontological investigations in the long Western philosophical tradition, but it is not easy to make bridges between them. Contemporary ontological commitments often take causality as a central aspect for the ur-segregation of entities, especially in scientific upper ontologies; theories of causality and philosophical ontological investigations often go hand-in-hand, (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  31. On truth persistence. A comparison between European Portuguese and Italian in relation to sempre.Patricia Amaral & Fabio Del Prete - 2014 - In Patricia Amaral & Fabio Del Prete (eds.), Variation within and across Romance Languages. Selected papers from the 41st Linguistic Symposium on Romance Languages.
    This paper analyzes a non-temporal interpretation of the adverb sempre “always” in European Portuguese and Italian, in which the adverb expresses persistence of the truth of a proposition over time and displays specific contextual constraints (TP-sempre). Despite an overlap in the contexts in which TP-sempre may occur in both languages, we provide data showing that its distribution is not exactly the same in European Portuguese and Italian. In view of these data, we propose that TP-sempre is a modal operator of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  32. Categories and foundational ontology: A medieval tutorial.Luis M. Augusto - 2022 - Journal of Knowledge Structures and Systems 3 (1):1-56.
    Foundational ontologies, central constructs in ontological investigations and engineering alike, are based on ontological categories. Firstly proposed by Aristotle as the very ur- elements from which the whole of reality can be derived, they are not easy to identify, let alone partition and/or hierarchize; in particular, the question of their number poses serious challenges. The late medieval philosopher Dietrich of Freiberg wrote around 1286 a tutorial that can help us today with this exceedingly difficult task. In this paper, I discuss (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  33. Formal logic: Classical problems and proofs.Luis M. Augusto - 2019 - London, UK: College Publications.
    Not focusing on the history of classical logic, this book provides discussions and quotes central passages on its origins and development, namely from a philosophical perspective. Not being a book in mathematical logic, it takes formal logic from an essentially mathematical perspective. Biased towards a computational approach, with SAT and VAL as its backbone, this is an introduction to logic that covers essential aspects of the three branches of logic, to wit, philosophical, mathematical, and computational.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  34. Two-level grammars: Some interesting properties of van Wijngaarden grammars.Luis M. Augusto - 2023 - Omega - Journal of Formal Languages 1:3-34.
    The van Wijngaarden grammars are two-level grammars that present many interesting properties. In the present article I elaborate on six of these properties, to wit, (i) their being constituted by two grammars, (ii) their ability to generate (possibly infinitely many) strict languages and their own metalanguage, (iii) their context-sensitivity, (iv) their high descriptive power, (v) their productivity, or the ability to generate an infinite number of production rules, and (vi) their equivalence with the unrestricted, or Type-0, Chomsky grammars.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  35. Entities and their genera: Slicing up the world the medieval way--and does it matter to formal ontology?Luis M. Augusto - 2022 - Journal of Knowledge Structures and Systems 3 (2):4-47.
    Genera, typically hand-in-hand with their branching species, are essential elements of vocabulary-based information constructs, in particular scientific taxonomies. Should they also feature in formal ontologies, the highest of such constructs? I argue in this article that the answer is “Yes” and that the question posed in its title also has a Yes-answer: The way medieval ontologists sliced up the world into genera does matter to formal ontology. More specifically, the way Dietrich of Freiberg, a Latin scholastic, conceived and applied strictly (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  36. Deductive Computing over Knowledge Bases: Prolog and Datalog.Luis M. Augusto - 2024 - Journal of Knowledge Structures and Systems 5 (1):1-62.
    Knowledge representation (KR) is actually more than representation: It involves also inference, namely inference of “new” knowledge, i.e. new facts. Logic programming is a suitable KR medium, but more often than not discussions on this programming paradigm focus on aspects other than KR. In this paper, I elaborate on the general theory of logic programming and give the essentials of two of its main implementations, to wit, Prolog and Datalog, from the viewpoint of deductive computing over knowledge bases, which includes (...)
    Download  
     
    Export citation  
     
    Bookmark  
  37. Toward a general theory of knowledge.Luis M. Augusto - 2020 - Journal of Knowledge Structures and Systems 1 (1):63-97.
    For millennia, knowledge has eluded a precise definition. The industrialization of knowledge (IoK) and the associated proliferation of the so-called knowledge communities in the last few decades caused this state of affairs to deteriorate, namely by creating a trio composed of data, knowledge, and information (DIK) that is not unlike the aporia of the trinity in philosophy. This calls for a general theory of knowledge (ToK) that can work as a foundation for a science of knowledge (SoK) and additionally distinguishes (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  38. The van Wijngaarden grammars: A syntax primer with decidable restrictions.Luis M. Augusto - 2023 - Journal of Knowledge Structures and Systems 4 (2):1-39.
    Expressiveness and decidability are two core aspects of programming languages that should be thoroughly known by those who use them; this includes knowledge of their metalanguages a.k.a. formal grammars. The van Wijngaarden grammars (WGs) are capable of generating all the languages in the Chomsky hierarchy and beyond; this makes them a relevant tool in the design of (more) expressive programming languages. But this expressiveness comes at a very high cost: The syntax of WGs is extremely complex and the decision problem (...)
    Download  
     
    Export citation  
     
    Bookmark  
  39. Supraclassical Consequence: Abduction, Induction, and Probability for Commonsense Reasoning.Luis M. Augusto - 2023 - Journal of Knowledge Structures and Systems 4 (1):1 - 46.
    Reasoning over our knowledge bases and theories often requires non-deductive inferences, especially – but by no means only – when commonsense reasoning is the case, i.e. when practical agency is called for. This kind of reasoning can be adequately formalized via the notion of supraclassical consequence, a non-deductive consequence tightly associated with default and non-monotonic reasoning and featuring centrally in abductive, inductive, and probabilistic logical systems. In this paper, we analyze core concepts and problems of these systems in the light (...)
    Download  
     
    Export citation  
     
    Bookmark  
  40. Languages, machines, and classical computation.Luis M. Augusto - 2019 - London, UK: College Publications.
    3rd ed, 2021. A circumscription of the classical theory of computation building up from the Chomsky hierarchy. With the usual topics in formal language and automata theory.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  41. From symbols to knowledge systems: A. Newell and H. A. Simon's contribution to symbolic AI.Luis M. Augusto - 2021 - Journal of Knowledge Structures and Systems 2 (1):29 - 62.
    A. Newell and H. A. Simon were two of the most influential scientists in the emerging field of artificial intelligence (AI) in the late 1950s through to the early 1990s. This paper reviews their crucial contribution to this field, namely to symbolic AI. This contribution was constituted mostly by their quest for the implementation of general intelligence and (commonsense) knowledge in artificial thinking or reasoning artifacts, a project they shared with many other scientists but that in their case was theoretically (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  42. O/ontology.Luis M. Augusto - 2022 - Journal of Knowledge Structures and Systems 3 (3):1-2.
    The gulf between philosophical and formal ontology can and should be bridged. In this Editorial, I elaborate briefly on this subject.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  43. What of multi- and interdisciplinarity? A (personal) case study.Luis M. Augusto - 2022 - Journal of Knowledge Structures and Systems 3 (2):1-3.
    An analysis of--yet another--case of academic failure in multi- and interdisciplinarity. An editorial of the Journal of Knowledge Structures & Systems.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  44. Formal thought disorder and logical form: A symbolic computational model of terminological knowledge.Luis M. Augusto & Farshad Badie - 2022 - Journal of Knowledge Structures and Systems 3 (4):1-37.
    Although formal thought disorder (FTD) has been for long a clinical label in the assessment of some psychiatric disorders, in particular of schizophrenia, it remains a source of controversy, mostly because it is hard to say what exactly the “formal” in FTD refers to. We see anomalous processing of terminological knowledge, a core construct of human knowledge in general, behind FTD symptoms and we approach this anomaly from a strictly formal perspective. More specifically, we present here a symbolic computational model (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. The competition for knowledge: Shades of gray and rules of thumb.Luis M. Augusto - 2022 - Journal of Knowledge Structures and Systems 3 (3):50 - 62.
    All research is immersed in the competition for knowledge, but this is not always governed by fairness. In this opinion article, I elaborate on indicators of unfairness to be found in both evaluation guides and evaluation panels, and I spontaneously offer a number of rules of thumb meant to keep it at bay. Although they are explicitly offered to the Portuguese Foundation for Science and Technology (FCT) and in particular to the evaluation panel for Philosophy, Ethics and Religion of FCT's (...)
    Download  
     
    Export citation  
     
    Bookmark  
  46. To be or not to be informed, that is the question of O/ontology.Luis M. Augusto - 2022 - Journal of Knowledge Structures and Systems 3 (3):3-49.
    The relations between ontology and information are many and fundamental, and they help us to understand the present gulf between (formal) ontology and (philosophical) Ontology: We can speak of respectively ontology-driven information and information-driven ontology as the focus on being informed vs. informed being. The question of whether these two (can) coincide is relevant to both fields, and in this article I elaborate on what needs to be addressed first of all to provide us with an answer: The form. This (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47. Albertus Magnus and the emergence of late medieval intellectualism.Luis M. Augusto - 2009 - Mediaevalia: Textos E Estudos 28 (28):27-43.
    On how medieval philosophy is not (only) theology.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  48. Who's Afraid of Idealism?: Epistemological Idealism From the Kantian and Nietzschean Points of View.Luis M. Augusto - 2005 - University Press of America.
    In Who's Afraid of Idealism? the philosophical concept of idealism, the extent to which reality is mind-made, is examined in new light. Author Luis M. Augusto explores epistemological idealism, at the source of all other kinds of idealism, from the viewpoints of Immanuel Kant and Friedrich Nietzsche, two philosophers who spent a large part of their lives denigrating the very concept. Working from Kant and Nietzsche's viewpoints that idealism was a scandal to philosophy and the cause of nihilism, (...) evaluates these philosophers and their role in shaping epistemological idealism. Using textual evidence from their writings and their reactions to western philosophers such as Plato, Descartes, and Hegel, Who's Afraid of Idealism? argues that in fact Kant and Nietzsche were really idealists at heart. In accessible prose, this text puts forward a theory that goes against current scholarly opinion, and even Kant and Nietzsche's opinions of themselves. (shrink)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  49. On truth unpersistence: At the crossroads of epistemic modality and discourse.Patrícia Amaral & Fabio Del Prete - 2016 - Natural Language and Linguistic Theory 34.
    We propose a semantic analysis of the particles afinal (European Portuguese) and alla fine (Italian) in terms of the notion of truth unpersistence, which combines both epistemic modality and constraints on discourse structure. We argue that the felicitous use of these modal particles requires that the truth of a proposition p* fail to persist through a temporal succession of epistemic states, where p* is incompatible with the proposition modified by afinal/alla fine, and that the interlocutors share knowledge of a previous (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50. Modality, presupposition and discourse.Patrícia Amaral & Fabio Del Prete - forthcoming - In Del Rosario Juanito, Ornelas de Avelar Juanito & Lazzarin Letizia (eds.), Romance Languages and Linguistic Theory. John Benjamins Publishing Company.
    This paper provides a semantic analysis of the particles afinal (European Portuguese) and alla fine (Italian) in terms of the notion of truth unpersistence, which can be situated at the intersection of epistemic modality and discourse structure. In the analysis proposed, the particles are propositional operators and require that the truth of a proposition p* fail to persist through a temporal succession of epistemic states, this proposition being incompatible with the prejacent, and that the interlocutors share knowledge of a previous (...)
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 976